casus irreducibility

[计] 事件不可约性